-- Expected output: 1
DEF MAIN:nat == 1
